Made the Proof menu's checkboxes update the state on initialization (tested, wasn't happening properly before).