Add another test case for hex overflow in ast verifier

Add another test case for hex overflow in ast verifier #179