sl/symabstract: fix invalid chaining of SpliceOutNode
sl/symstate: allow to rewrite trace graph on update

... with SE_ALLOW_CYCLIC_TRACE_GRAPH equal to 1
sl/cont_shape_seq: make the API more explicit
sl/cont_shape_seq: allow to collect overlapping sequences
sl/adt_op_meta: do not check mapping of invalid objects
sl/adt_op_match: refactor jumpToNextHeap() -> collectNextHeaps()
sl/adt_op_match: store crawler ctx as SeekContext
sl/adt_op_match: rename THeapIdentList -> THeapIdentSeq
sl/adt_op_match: support non-linear graph traversal