Tx_rollup: Move and refine the path checking for the rejection operation in precheck
The current way we check the path checking is done (following the merge of !4750 (merged)) in the rejection operation is not optimal.
- It can be done in precheck to avoid propagating operation with a bad message position/message path
- It can be refined to avoid having too long paths to check
Edited by Thomas Letan