Add environment(). Memory-safety is still proved but collapse compression is needed

* Update README with needed command line