Code and documentation improvements for all abstract domains

Insert missing return statements into the control flow graph.

Added a simple check that prints an error message when no dynamic symbol calls could be resolved.

Added brand new (and still experimental) checks for CWEs 415 and 416 together with a new interprocedural data-flow analysis engine written in Rust. Add `-partial=Memory` as command line flag to try out the new checks.