In DEBUG mode, perform more launch config validation before launch

[eyalroz]

(This bug is only about DEBUG mode; in non-DEBUG mode we don't bother to validate and let the driver complain.)

Currently, we perform very little validation of the launch configuration before trying to launch a kernel. But we already have a bunch more validation logic in the launch config builder. So let's apply the latter just before launching.