feat: relax grammar to allow omitting parens around blocks in specs

[mkovaxx]

In requires/ensures, shouldn't need parentheses and braces if the expression ends in a comma (e.g. requires ({ let foo = 5; foo > 0 }), ).