Use sets and don't copy the full checkpoint list every time we receive one

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/debugger/MultiverseDebugger.kt

@@ -281,9 +281,7 @@ class MultiverseDebugger(
 
     override fun checkpointsUpdated() {
         super.checkpointsUpdated()
-        val newCheckpoints = checkpoints.toList()
-        if (newCheckpoints.size > len)
-            println("Checkpoints: ${newCheckpoints.subList(len, newCheckpoints.size)}")
+        val newCheckpoints = checkpoints.subList(0, checkpoints.size)
         val change = newCheckpoints.size - len
         len = newCheckpoints.size
 

src/main/kotlin/be/ugent/topl/mio/sourcemap/BinaryInfo.kt

@@ -4,10 +4,10 @@ import java.io.File
 import java.util.*
 
 data class WasmInfo(
-    val choicepoints: List<Int>,
-    val after_choicepoints: List<Int>,
-    val primitive_calls: List<Int>,
-    val after_primitive_calls: List<Int>,
+    val choicepoints: Set<Int>,
+    val after_choicepoints: Set<Int>,
+    val primitive_calls: Set<Int>,
+    val after_primitive_calls: Set<Int>,
     val primitive_fidx_mapping: List<String>
 )
 data class WasmBinary(val file: File, val metadata: WasmInfo)