Add malicious case of unit tests on Merkle proof

[junha1]

Currently, all tests generates only well-formed proofs (though they may be invalid). However we can fabricate ill-formed proofs. We need to test whether the verifier can return false (not true nor runtime error) in such malicious case.