read kat file sizes
Merge branch 'verify' of github.com:/frenetic-lang/frenetic into verify