add another assertion to PeekThenPoke and prove it
allow 64 in contract of PokeThePeek
allow length = 64 in contract and adapt proofs