* op-challenger: Add support for calling challenge methods to preimage oracle bindings.

* op-challenger: Include merkle proofs in oracle calls.

Fix dependency cycle by removing references to types.Leaf from BinaryMerkleTree and just accept the leaf hash to add.

* op-challenger: Undo switch from error to panic.