Make the code ready to debug `--verify-online-property`

mining_in_logarithmic_space.py

@@ -206,7 +206,7 @@ for height in range(headersNumber):
     if args.verify_online_property:
         C += [b]
         Π_online, previous_score_online, previous_ℓ_online = Compress(m, k, copy.deepcopy(C), previous_score_online, previous_ℓ_online)
-        if False:#Π != Π_online:
+        if Π != Π_online:
             print("Online property doesn't hold!")
             for id_, Π, previous_score, previous_ℓ in [
                 ['Iterative', Π, previous_score, previous_ℓ],