Constant move_model::pragmas::VERIFY_DURATION_ESTIMATE_PRAGMA

pub const VERIFY_DURATION_ESTIMATE_PRAGMA: &str = "verify_duration_estimate";

Pragma indicating an estimate how long verification takes. Verification is skipped if the timeout is smaller than this.