Support properties and invariants without arguments in symbolic mode

[gustavo-grieco]

Describe the desired feature

Echidna should be able to deal with one symbolic transaction + checking assertions/properties.