Add the proof tick and cross
Add threading model for proof.
Initial adding of the the property window