Remove redundant constraints
Fix `Literal 3221225472 is out of the Int32 range` warnings
Add limited support for randomized message testing
Bumping version to v0.2.0.4