Namespace envelope

Assertion remove module - 1:1 port of cmd/assertion/remove/mod.rs

Remove an assertion from the given envelope.