use EqualBits64 in Poke
remove empty lines
adapt proofs of PokeThenPeek
use EqualBits64 in BitstreamEqual64