cleanup signature of `verifyProof` based on open zeppelin updates https://github.com/OpenZeppelin/openzeppelin-solidity/pull/879