Add format strings to assert and assume (#3802)

This supports format strings for assert and assume statements.
Internal representaion of `Verification` object is modified in a similar way to
`Print`. Cover cannot be used with a format string so conversion raires an exception
when we try constructing a cover statement with a format string.