Fixing occur limits
Merge branch 'tmp'
More verbosity about memory usage
Higher limit on irred mem usage of occur