Correct usvm version to fix compilation

Author: EgorkaKulikov

gradle.properties

@@ -100,7 +100,7 @@ jakartaVersion=3.1.0
 jacoDbVersion=1.4.3
 # TODO could be left outdated here to avoid exceeding GitHub packages drive space,
 # TODO run `gradle publishToMavenLocal -Pversion={usvmVersion}` locally in usvm project and update {usvmVersion} locally
-usvmVersion=main-231207-1
+usvmVersion=comp-231201-17
 
 # use latest Java 8 compaitable Spring and Spring Boot versions
 springVersion=5.3.28