We had a somewhat similar situation at our
January judge meeting.
I feel that I'd rule the same way here as I did there - Backing up is a great disruption, so I will not back up - but at the same time, I see the argument pro Backup, since the ‘net-disruption’ when backing up can be seen as lower than not backing up. Though even that is a close call to me, as ‘illegaly casting a spell’ might not outweigh ‘knowing the top 7 cards of the library, though not the order’ plus ‘not knowing the top 2 cards of the library even though I should’.
Note that I did not include the 7 cards drawn in this comparison of disruptions, as drawing the seven was not illegal, and can still be done again if we rewind - though the player might choose not to do so as he now knows that he draws 7 lands, and shuffle beforehand.