tests: update for VT check

Signed-off-by: Jean Privat <jean@pryen.org>
model: add annotation `fixed` on virtual types

Signed-off-by: Jean Privat <jean@pryen.org>
tests: extends base_virtual_type_redef for `is fixed`

Signed-off-by: Jean Privat <jean@pryen.org>