Pinpoint sanity-checks of vfp->ctx to only the two place it is still
hackishly used.