Add a util to recover an incorrect proof step given a path
Created by: cache-nez
Also add a test suite to make sure the path to the first incorrect step is reported correctly. Add a errorMsg
extension to invalid proof judgement with complete information.
This PR depends on #28 and should be merged after.