Add features to Preconditions

- Add checkArgumentIsInteger
- Add checkArgumentIsKeyInArray
- Add default error messages for all checks
- Cleanup checkState doc