0.13

Better comments in some places.
Paranoia fix.
Merge branch 'master' of https://github.com/w0jnar/CATos