* op-program: Support absorbing leaf with supplied commitment

* op-challenger: Include proofs with challenge data

* op-challenger: Use 0 bytes in hash when index not set