feat: adapt consistency_checker tests for running both in Validium …

…mode and Rollup mode (#121)

* Add example: build_commit_tx_input_data_is_correct (fails)

* Abstract normal_checker_function test

* Abstract checker_processes_pre_boojum_batches

* Abstract checker_functions_after_snapshot_recovery test

* Abstract checker_functions_after_snapshot_recovery test

* Remove unnecessary auxiliar function

* Fix all the failing tests

* Use test_helpers module

* Remove ValidiumModeL1BatchCommitDataGenerator fix

* Add bytes pubdata with 0 value for the encoding (#136)

core/lib/types/src/l1_batch_commit_data_generator.rs

@@ -23,7 +23,9 @@ impl L1BatchCommitDataGenerator for RollupModeL1BatchCommitDataGenerator {
 
 impl L1BatchCommitDataGenerator for ValidiumModeL1BatchCommitDataGenerator {
     fn l1_commit_data(&self, l1_batch_with_metadata: &L1BatchWithMetadata) -> Token {
-        Token::Tuple(validium_mode_l1_commit_data(l1_batch_with_metadata))
+        let mut commit_data = validium_mode_l1_commit_data(l1_batch_with_metadata);
+        commit_data.push(Token::Bytes([0].to_vec()));
+        Token::Tuple(commit_data)
     }
 }