This release primarily exists to bookmark the version used for generating results in the paper. Further, releases will cause significant refactoring which may affect performance.