Clarify structure of "boilerplate gates"

[codygunton]

At least two major workstreams will affect this (execution trace sorting; biggroup handling of point at infinity), but after these are done we should be sure that it's straightforward to know the execution trace enough to know what gates are always there so that one can eg construct an execution trace whose size after finalization will be some known value.