Integration test & benchmark automation

[CeciliaZ030]

Description

Automated integration tests:

• refactored into circuit_utils and taiko_utils which contains functions that deals with Anchor and txlist
• separate L1 and L2 rpc, add more macros that test input builder, circuit, and public data (declare_l1_tests!, declare_l1_tests!)
• Comparison
  • fixed columns in MockProver test, compare vk's fields as well as overall hashed value in real test
  • used HashMap block_num -> block, vk, fixed to ensure the circuit remains invariant for new blocks
• Benchmark
  • display CircuitCost from halo2 which contains parameters like #columns and #queries
  • print degree information from ConstraintBuilder
  • display #commitment & #evaluation in a table
• Integrate with Grafana dashboard @krzysztofpaliga