feat: refactor empty range proofs and add more tests

[gupadhyaya]

current code validates empty range proofs using isValidEmptyRangeProof. It is not very clear what is valid and what is not. Also, there is not enough test coverage for empty range proof.