I had no idea the CRJ7s were even able to get up that high, reminds me of a time I was flying MCO-LAX on Delta and we hit FL420 on a 752, full load too.
Glad to hear the aircraft landed safely, and that everything worked correctly and the crew acted accordingly.