update README
Revert: use monadic-style native map kernel
Revert: use monadic-style native generate kernel
Revert: use monadic-style transform skeleton
Revert: use monadic-style native fold kernels

* This was still mostly in monadic style anyway
Revert: rip out quasi-quotes support from the codegen monad
disable native scan kernel (still based on quasi quotes)
update cabal dependencies