- Permissions are now generated for constructs in seq_program nodes.  It
  is intended to only work for fields of simple type, classes, and array
  of simple type, but the implementation is general enough to also work
  for nested arrays.
- Pretty printing is implemented for the internal VeyMont COL nodes.
- SeqAssign now checks if the expression to be assigned does not use
  fields from any other endpoints.
- Tests for most of these things.
- A few messages from the test suite were renamed. They looked off, but
  I am not entirely sure if they were actually wrong.