Slightly updated version of the assumption dropping pass.  This is slightly more robust against how you declare llvm.assume.trap.