feat: use go-corset to generate Trace.java file(s)

[DavePearce]

The goal here is to replace the existing corset tool with go-corset for generating the Trace.java file. This will include some API changes to ensure that go-corset can manage the lt file format and, hence, can include meta-data (such as the constraints commit).