VFS ops: ignore more harmless intrinsics
Add support for "path functions"

These are functions that are not actually called at runtime and which won't be residualised, but which express a path condition by their side-effects. Intended to implement library state restoration.
Add support for ignored blocks in the analysis stage and path conditions anywhere in the target call stack.

To come: emit support for same, generating more kinds of tests.