Got SHA3 working!

Interesting point about their test vectors -- the Len field is the
number of **bits**.  We're only going to bother with full-byte
alignments so we don't need to stress too much about it...