Add specs for sha3; update README.md