Define sanitizer strategy for vix check

Now that vix run supports sanitizers in script mode,
we should define whether and how vix check should expose:

• UBSan-only analysis
• Compile-time UB detection
• Conversion warnings (-Wconversion, etc.)

This issue is for specification only.