Tartaros: Updated Cerberus to allow specifying whether a step is a verification step or not when adding.