To best handle wrapping functions with drwrap in only some drbbdup instrumentation cases, drwrap now provides a cleanup-only instrumentation feature which is called in drbbdup cases without wrapping. This ensures that key cleanup like restoring replaced return addresses is performed without worrying about sychronously clearing state in all threads on a drbbdup case transition.
To avoid having 2 analysis functions on top of the now 2 insert functions, removes the analysis code completely as it was empty.
Adds a test which mis-behaves without this feature.
Issue: #5356 (closed), #3995