Support program size constraints

[Tim Martin]

In order to make interesting challenges, there needs to be support for limiting the number of instructions in the program on a per-level basis. This also needs feedback in the UI to show what the current number of instructions in the program is.