Exit after asserting in fr_verify_vp
It's ok for length to be <= octets buffer