I want to thank everyone for all of the help and encouragement I received over the past year while working on my Master's thesis. My defense was yesterday, and I'm happy to report that my thesis has been accepted. You can find a copy of the thesis and a recording of the defense presentation¹ here.
I'll be publishing everything to crates.io shortly (see below). If you've got any questions, I'd be happy to answer them here.
¹ The audio in the presentation isn't great: it ended up quiet, and my delivery is somewhat stilted. Hopefully that doesn't detract from the content too much.