Speed up auto-selection significantly and add a stopgap that auto-disables contexts tainted by varargs lowlevel information.
Fix vararg taint detection to take account of va_copy, tainting the correct contexts this time.
Move code for VFS call resolution into a seperate file