fix spinlock_proof.v

1 job for ci/bool-simpl in 17 minutes and 38 seconds (queued for 4 seconds)
latest