Also rename the recently added `view_update_alloc_frac` into
`view_update_frac_alloc` to be consistent with other lemmas about the
placement of `_frac`.