Rename sha exports to be more semantic, add test suite
Add property for well-formed output on all inputs