fixup! Update tests

Author: matheusaaguiar

test/cmdlineTests/model_checker_targets_all_all_engines/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_all_bmc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_all_chc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_assert_bmc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_assert_chc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_balance_bmc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_balance_chc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:11:3:
    |
 11 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_constant_condition_bmc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_constant_condition_chc/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:11:3:
    |
 11 | 		a.transfer(x);

test/cmdlineTests/model_checker_targets_default_all_engines/err

@@ -1,4 +1,4 @@
-Warning: 'transfer' is deprecated and scheduled for removal in the next breaking version (0.9). Use 'call{value: <amount>}("")' instead.
+Warning: 'transfer' is deprecated and scheduled for removal. Use 'call{value: <amount>}("")' instead.
   --> input.sol:10:3:
    |
 10 | 		a.transfer(x);