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

Bram28/LEGUP,Bram28/LEGUP,Bram28/LEGUP