Modified extension gadget missing constraints

[miha-stopar]

What command(s) is the bug in?

No response

Describe the bug

StorageLeafConfig and AccountLeafConfig disable some constraints for the modified extension scenarios, see

for is_s in [true, false] {
    ifx! {not!(config.is_mod_extension[is_s.idx()].expr()) => {

This is to be revised, some of the constraints (like the number of nibbles) need to triggered in these cases too.

Concrete steps to reproduce the bug. If it's able reproduce via testool, please share test_id from jenkins report

No response