Derive Macro Drop

#[derive(Drop)]

Implement the Drop trait for the assertion type. This is needed, because in most cases, the assertion will be checked from within the destructor.