Formal global perturbative quantization of the Rozansky–Witten model in the BV-BFV formalism