Ensure that programs are only rejected as unstratifiable when negation occurs within a dependency cycle.  Fixes #321.
Merge branch 'master' into gc-proto-v1