I think this might not be possible atm, to specify an opset when exporting to ONNX format with the Model.export(...) method. Would it be possible to add this?