context: Let caller inject TeX font commands directly
spec: Count and report testgen enumeration errors

Previously we only reported model execution errors.
progress: Disable wrap in case progress line is long
par-spec: Improve exception reporting