Add Verifier class and VERIFY_ macros to replace assert()

Add Verifier class and VERIFY_ macros to replace assert() #2000