Add documentation for SHA3. Missing specs