VulnerabilityAnalysis now analyses annotated funcs.

Extended VulnerabilityAnalysis to also perform leaked rights analysis on functions annotated as having a past vulnerability. Previously, we were only checking functions that had past vulnerability annotations at particular program points.

Also added more TODOs for output allowed callgates, sandbox-private data and classified data.
Merge branch 'master' of github.com:CTSRD-SOAAP/soaap