Added tikz to the list of imported latex modules.
Bug fixes: - Expanding fact widgets with long names were too tall on startup. - Proof body images didn't reload when needed. - Head height of a fact widget did not update when the widget was collapsed.
Disabled word wrap on section name labels as it was causing a layout bug. After many attempts, I am unable to fix it otherwise.