Rename VERIFY macro to VERIFY_VP and use it in more places