Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools