Such assertions are nice, but easier done with normal assert(). No need for a plugin.

Much better is formal verification though, which I do on all my containers. cbmc is your friend.