#81 Idiomatic assertion for read-only properties or fields

Adds ReadOnlyPropertyAssertion.

See #81 for details.