smackreach now uses info from clang's -Wunreachable-code to augment its results
Merge branch 'develop' into feature-reachability
Merge branch 'feature-reachability' into develop

Updating smackreach to use info from Clang's -Wunreachable-code flag.