Fix

	* Remove constrain on operand size for OP_CHECKLOCKTIME and
OP_CHECKSEQUENCE
	Some scripts were marked as unsatisfiable while they are, e.g. :055707ce7fea7b9776fdc70413f65ceec413d46344424ab01acd5138767db137

symbolic_execution/language/bitcoin/op_codes.py

@@ -67,7 +67,6 @@ def locktime_constraint(ops: List[BTCVector]):
     op = ops[0]
 
     condition = And(
-        op.size <= 5,
         op.val <= nLockTime,
         op.val >= 0,
         Or(
@@ -113,7 +112,6 @@ def sequence_constraint(ops: List[BTCVector]):
     op = ops[0]
 
     condition = And(
-        op.size <= 5,
         op.val >= 0,
         Or(
             And(