Fix RevTree.EMTPY to have a proper SHA

Fixes #744. Check out the commit message for 16cb521172c2eee385f0038f955b5b22f6cd52bc for more info.