VulnerabilityAnalysis no 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 have past vulnerability annotations at particular program points.

Also added a couple more TODOs for output allowed callgates, sandbox-private data and classified data.