Refactoring of Hash_prefix and Node_hash. Added Hash and removed Hash_prefix
Now hash calculation algorithm is optimized as possible. (We can change the type from string
to bytes
and gain some more by using mutations but it seems bit tricky.) I think now it is ready to prove the hash algorithm correctness again, and this time, use the extraction in the implementation.