Added sandboxes argument to InfoFlow analyses.

We now have Sandbox instances, so rather than passing in a vector of sandboxed methods, we can now pass in a vector of sandboxes from which sandboxed methods can be determined.