Add BOLD System Test That Successfully Completes a Challenge

[rauljordan]

This PR makes the following changes to Nitro for the BOLD protocol:

• Updates BOLD to latest commit on main
• Fixes the challenge cache to deal with multiple challenge levels
• Deletes all unused code from the new state provider logic
• Fixes the function that actually fetches hashes from a machine in custom increments, called GetLeavesWithStepSize to deal with the more complex requirements of BOLD. Here's what it does:
  • If the machine start index is 0, the first hash in our desired state roots is keccak256("Machine finished:", machine.GlobalState().Hash())
  • Steps through the machine in stepSize increments until the machine is finished
  • If finished earlier than expected, pads the result by repeating the last root N times until we reach the desired number of hashes
• Adds a full bold protocol system test with 5 challenge levels that can succeed
• Simplifies the state provider logic and adds more unit tests to its key functions
• Adds a function that can deal with the intricacies of batches and messages in the state provider called:

func (s *StateManager) StatesInBatchRange(
	fromHeight,
	toHeight l2stateprovider.Height,
	fromBatch,
	toBatch l2stateprovider.Batch,
) ([]common.Hash, []validator.GoGlobalState, error)

[rauljordan]

Need to figure out how to override this in our test...

[amsanghi]

Changing it here https://github.com/OffchainLabs/nitro/blob/master/util/headerreader/header_reader.go#L94 should do the trick i think.

[amsanghi]

LGTM! Huge thank you for this.

Ok to merge in bold branch for now, but before merging in to the master, I'd say let's have Lee's/Tsahi's review for validator folder at least.

[amsanghi]

Changing it here https://github.com/OffchainLabs/nitro/blob/master/util/headerreader/header_reader.go#L94 should do the trick i think.

[rauljordan]

Thanks for the review ! Definitely needs a lot of review before it can make it into master, but with this, we'll have the bold branch in nitro updated with master and working