tests: distops_delete: use arch-independent invocation to test presence of cap

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T275: fix printfs in distops delete test

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T275: delete test: do not panic out for delete under test

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T275: fix delete test

CNodes are not moveable so if we delete the last owned copy, all foreign
copies are cleaned up.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T275: Refactor distops tests and fix bug in delete test

Also adds a test for retyping a capability with descendants on the owning core
from another core.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T275: Add test for delete of distributed capabilities

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>