We now support skipped Convey registrations as well as not implemented Convey registrations.
Included documentation for previous commit. We can now skip assertions with `SkipSo`.