Better display format for known values

[theihor]

In many cases verifier prints known values in a verbose format. Examples:

• map_value_or_null(id=3,map=eventmap,ks=4,vs=2452)
• scalar(smin=0,smax=umax=0xffffffff,var_off=(0x0; 0xffffffff))

For the verifier it makes sense, as it's limited by text output. But in the browser we should be aple to display this in more intuitive way.