fix: Handle edge case when mapping source lines into opcodes

If a source breakpoint is set at the end of the file, it may occur *after* all
lines that are mapped to an opcode. Do not set any breakpoint in that case.

tooling/debugger/src/dap.rs

@@ -480,7 +480,12 @@ impl<'a, R: Read, W: Write, B: BlackBoxFunctionSolver> DapSession<'a, R, W, B> {
         };
         let found_index = match line_to_opcodes.binary_search_by(|x| x.0.cmp(&line)) {
             Ok(index) => line_to_opcodes[index].1,
-            Err(index) => line_to_opcodes[index].1,
+            Err(index) => {
+                if index >= line_to_opcodes.len() {
+                    return None;
+                }
+                line_to_opcodes[index].1
+            }
         };
         Some(found_index)
     }