Remove pragmas

tests/native_tests.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Caller {

tests/testdata/input_contracts/calls.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Caller {

tests/testdata/input_contracts/constructor_assert.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract AssertFail {

tests/testdata/input_contracts/environments.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract IntegerOverflow2 {

tests/testdata/input_contracts/ether_send.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Crowdfunding {

tests/testdata/input_contracts/exceptions.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Exceptions {

tests/testdata/input_contracts/kinds_of_calls.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract D {

tests/testdata/input_contracts/metacoin.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract MetaCoin {

tests/testdata/input_contracts/multi_contracts.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Transfer1 {

tests/testdata/input_contracts/nonascii.sol

@@ -1,8 +1,7 @@
-pragma solidity 0.5.0;
 
 
 contract nonAscii {
   function renderNonAscii () public pure returns (string memory) {
 	  return "Хэллоу Ворлд";
   }
-}
+}

tests/testdata/input_contracts/origin.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Origin {

tests/testdata/input_contracts/returnvalue.sol

@@ -1,5 +1,3 @@
-pragma solidity 0.5.0;
-
 
 contract ReturnValue {
 
@@ -14,4 +12,4 @@ contract ReturnValue {
     require(success);
   }
 
-}
+}

tests/testdata/input_contracts/rubixi.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Rubixi {

tests/testdata/input_contracts/suicide.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Suicide {

tests/testdata/input_contracts/underflow.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract Under {
@@ -20,4 +19,4 @@ contract Under {
   function balanceOf(address _owner) public view returns (uint balance) {
     return balances[_owner];
   }
-}
+}

tests/testdata/input_contracts/weak_random.sol

@@ -1,4 +1,3 @@
-pragma solidity 0.5.0;
 
 
 contract WeakRandom {