Robustness and usability improvements

- Compile-time checking of invalid constraints
- Sugar for defining constraints more concisely
Update README
Merge branch 'feature/better_compile_time_checks' into develop
Bump version (1.0.0) and build (3). Update Changelog.
Update Pods and Podspec
Merge branch 'release/1.0.0' into develop