This is the version of the mechanization that will be submitted as the final artifact for the paper. Compared to v1.0, there are some small changes following comments during the AE review process, a little bit of rewording in the documentation, and some changes to improve the connection between the mechanization and the appendix of the extended version of the paper on arXiv.