change K monad type, add skips option to KTestOptions