Is it possible to prove that the target policy is better than the behavioural policy based on learned Q values?
No, mainly because these are all stochastic approximations and may not represent the true values.

Almost nothing good can be said about NN approximations to value and Q functions(at least according to a professor I have had).