Dedicated linters for test.check

[mknoszlig]

Currently there is no support for any test.check related macros/functions.

A minimal implementation to start off with could have basic support for:

• defspec
• props/for-all (possibly including linting for binding surprises)
• linting for some of the higher order generators such as fmap or binding (similar to regular HOFs)