Introduce a record type instead of large tuple for queue of scheduled
proof attempts

Change-Id: If4d4284a78d5d828bb06705f2628ea341d7a1d64
(cherry picked from commit 1070b12841adc076ba67193722b250c81a1a697c)