Added note about SystemVerilog assert statement to README
Added constant size expression support of sized constants