Made Futures in Verifier more fluent, trying not to block nowhere.