Applies the Chekt compiler plugin to Kotlin, providing integer overflow and destructuring checks and a memoization annotation