Wander_off + 5 proofs #SA

Wander_off + 5 proofs #SA

@cryptseller