Showing Proofs, Assessing Difficulty with GeoGebra Discovery