harness: distops: rename tests back to old scheme and rename benchmarks to bench_distops_*

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

harness: distops tests: make distops tests prefix-distinguishable from distops bench

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

harness: distops tests: make sure tests have run when reporting test success

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: 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>

T276: Fix monitor retype check to check on owning core when request is forwarded

In the case where we do a retype on a foreign capability, and our monitor
forwards the retype check to the owner, which then does a retype check on all
cores that hold copies of the source cap, the owner did not check for
descendants in it's own mapping database. This is not a problem when doing a
retype on a capability that's owned by our own core, as then the retype
invocation itself finds any local descendants that overlap the requested
retype.

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

T275: Add distributed revoke test

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>

T275: Add test for distributed capability retype

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