BTC Symbolic interpreter

	* Stop raising errors when OP_ROLL is used

symbolic_execution/language/bitcoin/symbolic_interpreter.py

@@ -87,13 +87,8 @@ def __find_unlocking_script_timed(hex_script, return_dict, verbose):
         return_dict["model"] = {}
 
     except UnimplementedInstructionError as e:
-        if e.tag in [InstructionTag.RESERVED, InstructionTag.DISABLED]:
-            return_dict["satisfiability"] = Satifiability.UNSPENDABLE
-            return_dict["model"] = {}
-        else:
-            return_dict["satisfiability"] = Satifiability.UNKNOWN
-            return_dict["model"] = {}
-            raise e
+        return_dict["satisfiability"] = Satifiability.UNSPENDABLE
+        return_dict["model"] = {}
 
     except Exception as e:
         raise e