feat(tw_verify): Stage 9 — per-path min/max linearity analysis

feat(tw_verify): Stage 9 — per-path min/max linearity analysis #110