[master] 7da6220df Assert

[Dridi Boukelmoune]

On Mon, Dec 16, 2019 at 11:18 AM Nils Goroll <nils.goroll at uplex.de> wrote:
>
> there already was one 4 lines below, that does checking twice gain?

We dereference ws before we even check we have a correct one, so
either we opt for at least a null check or a miniobj check, or we go
for the complete workspace check.

I chose the latter because the deprecated WS_Reserve does that and its
replacement doesn't.

Dridi