Hello Ladislav
This issue isn't direct related to cljs or test.check
it's related to the go macro
The go macro will rewrite it's body
You can take a look on it by running (macroexpand '(go 1)) in your repl.
Even a simple form, like 1, will turn into a larger form, with a lot of "state machines" and other stuff.
1 results in a ~2k characters long form
Something a bit more complex, like (go (inc (<! (go 1)))), goes to ~4k chars
And it keep growing.
In some cases, this "expanded go code" grows to much, resulting in a StackOverflow or same other wired analyzer error
In your case, the testing / is macro will expand into a large code, so you will quickly have an "too long" form.