QA: deactivate tests requiring missing features

[dannywillems]

To get the CI green. It will help reviewers to have a better confidence in patches, and it also gives us an idea on the scope of missing features for the Z3 stack.

[linear]

COR-1330