enable profiling option -p
performance optimizations in policy compilation
bug fix to get r0 mode to work
correctness bug fixes for match.covers