[dicroce]

I'm adding at least basic support for random practice problems in the release I'll be dropping in a few days. If I can get to it I may also be adding a more gamified "practice" mode.