sha3 tests

sha3 was still broken - big_endian_to_int only takes one argument.
these tests make it clear (and pass as of latest commits and this one).