Use `ignore-*-functions` from configuration

[danmatichuk]

Support for ignoring functions has not been ported to the strongest-postcondition verifier. We would expect an ignored function to be treated like a no-op and simply propagate the equivalence domain forward.