SimpleProof's hashing of Guatemalan election records on Bitcoin proved that officials attempted to alter election records post hoc