While it is not technically correct for Alex to leave the card revealed after Courser of Kruphix has been destroyed, it is generally accepted to be ok to do so. However, once he draws that card, by revealing the next card for a now non-existent Courser, Alex has committed Looking at Extra Cards and will receive a Warning. The random portion of the deck needs to be randomized. Determine if Alex has put any cards on the bottom of his library, such as with Scry, since the last time it was shuffled. If there are known cards on the bottom, set that many cards aside, have Alex randomize the rest of the deck, present to Nathan for a shuffle, and then replace the set aside cards on the bottom of the Library. Then, if necessary, issue an appropriate time extension for the players and record the penalty on the result slip. It is also worth noting that because the Game Play Error was caught immediately, it is not correct to give Failure to Maintain Game State to Nathan.