[WIP] add collapsible for opcode and table prove

[hero78119]

collapse opcode & table prove by default

[hero78119]

The attempt is not fit with what expected, for it's not collapsed

TRACE    ?? commit_to_traces [ 2.64s | 15.24% ] profiling_1: true
TRACE    ?? main_proofs [ 14.7s | 0.00% / 84.76% ] profiling_1: true
===== from ADD, supposed to be collapsed =====
TRACE       ?? wit_inference [ 274ms | 1.58% ] profiling_3: true
TRACE       ?? SUMCHECK [ 3.89s | 22.47% ] profiling_3: true
TRACE       ?? witin::evals [ 12.4ms | 0.07% ] profiling_3: true
TRACE       ?? pcs_open [ 96.4ms | 0.56% ] profiling_3: true
===== from SUB, supposed to be collapsed with above ADD =====
TRACE       ?? wit_inference [ 55.7ms | 0.32% ] profiling_3: true
TRACE       ?? SUMCHECK [ 2.21s | 12.73% ] profiling_3: true
TRACE       ?? witin::evals [ 6.30ms | 0.04% ] profiling_3: true
TRACE       ?? pcs_open [ 57.7ms | 0.33% ] profiling_3: true
[... omit]