Adds contract changes necessary for fraud prover (#88)

* Contract changes necessary for fraud prover

* Small cleanup fix

* Fix failing tests

packages/contracts/contracts/optimistic-ethereum/OVM/chain/OVM_CanonicalTransactionChain.sol

@@ -679,6 +679,14 @@ contract OVM_CanonicalTransactionChain is iOVM_CanonicalTransactionChain, Lib_Ad
             extraData: hex""
         });
 
+        emit TransactionBatchAppended(
+            header.batchIndex,
+            header.batchRoot,
+            header.batchSize,
+            header.prevTotalElements,
+            header.extraData
+        );
+
         bytes32 batchHeaderHash = Lib_OVMCodec.hashBatchHeader(header);
         bytes27 latestBatchContext = _makeBatchExtraData(
             totalElements + uint40(header.batchSize),

packages/contracts/contracts/optimistic-ethereum/OVM/verification/OVM_StateTransitioner.sol

@@ -38,7 +38,7 @@ contract OVM_StateTransitioner is Lib_AddressResolver, OVM_FraudContributor, iOV
      * Contract Variables: Contract References *
      *******************************************/
 
-    iOVM_StateManager internal ovmStateManager;
+    iOVM_StateManager public ovmStateManager;
 
 
     /*******************************************
@@ -47,7 +47,7 @@ contract OVM_StateTransitioner is Lib_AddressResolver, OVM_FraudContributor, iOV
 
     bytes32 internal preStateRoot;
     bytes32 internal postStateRoot;
-    TransitionPhase internal phase;
+    TransitionPhase public phase;
     uint256 internal stateTransitionIndex;
     bytes32 internal transactionHash;
 

packages/contracts/contracts/optimistic-ethereum/iOVM/chain/iOVM_CanonicalTransactionChain.sol

@@ -35,6 +35,14 @@ interface iOVM_CanonicalTransactionChain {
         uint256 _totalElements
     );
 
+    event TransactionBatchAppended(
+        uint256 indexed _batchIndex,
+        bytes32 _batchRoot,
+        uint256 _batchSize,
+        uint256 _prevTotalElements,
+        bytes _extraData
+    );
+
 
     /***********
      * Structs *

packages/contracts/contracts/optimistic-ethereum/iOVM/verification/iOVM_BondManager.sol

@@ -93,7 +93,7 @@ interface iOVM_BondManager {
     function finalizeWithdrawal() external;
 
     function claim(
-        address who
+        address _who
     ) external;
 
     function isCollateralized(

packages/contracts/contracts/optimistic-ethereum/mockOVM/verification/mockOVM_BondManager.sol

@@ -42,7 +42,7 @@ contract mockOVM_BondManager is iOVM_BondManager {
     {}
 
     function claim(
-        bytes32 _preStateRoot
+        address _who
     )
         override
         public