[TIR][LoopPartition] enforcement on loop partition control

[wrongtest-intellif]

The change wants to merge set of finegrained control improvement on loop partition pass.

1. Add an annotation intrinsic T.ignore_loop_partition, which mark the wrapped predicate not to take part in the loop partition phase. Since in sometimes loop partition would enlarge the generated code size and we want to preserve some predicates intentionally.

2. Add patch for EQ predicate partition. Try solve a <= b && b <= a instead if solve a==b directly failed.

3. Fix TryPartition's return statement. Since the caller handle the return value by

   • If undef, try recursive solving.
   • If defined, treat as a successfully partioned result stmt.