Removing beta_all from Red

- Verification is substantially more complex than
  beta (requiring simultaneous substitutions) and is best
  split into its own file.