Program now stores max label and max checked index. Vm ctor no longer
calculates these each time, instead reading them from Program. Cleanup.