deleteProvers deletes all provers before (but not including) the given rnd
(tx *sql.Tx, rnd basics.Round)
source not stored for this graph (policy: none)