Calling q::debug with a single argument should work

[bugarela]

Currently, if I want to add debug statements to an expression like:

foo(bar(1 + 2))

I need to do something like:

q::debug("foo", foo(q::debug("bar", bar(q::debug("plus", 1 + 2))))))

I'd like to also be able to write:

q::debug(foo(q::debug(bar(q::debug(1 + 2))))))

And have Quint print the expressions:

> foo(bar(1 + 2)): 45
> bar(1 + 2): 10
> 1 + 2: 3

Moreover (not this issue), we can also consider having something like:

q::deepDebug(foo(bar(1 + 2)))