Added some null-safety for the proof loading. Proofs now load properly
if the user is null, which is the case since login is no longer asked
for on startup.