Ability to directly convert ToonzVector to ToonzRaster without antialiasing

[WolfInABowl]

The recent commit #4333 allows for the conversion of ToonzVector to aliased ToonzRaster. This enables those using an aliased workflow to make use of OpenToonz's vector tools without the need for workarounds like the one mentioned here: #3101 (comment), or requiring the need to use OpenToonz's Cleanup tools or GTS for binarizing.

Suppose a workflow such as this, now possible due to commit #4333:

1. Animate using ToonzVector levels, making use of the benefits afforded by vectors such as automatic-inbetweening
2. Convert the ToonzVector levels to aliased ToonzRaster via Level -> Export Level... with No Antialias
3. Load the newly created tlv and copy the timing from the original ToonzVector level using Paste Special -> Paste Numbers
4. Paint the ToonzRaster level and apply antialiasing via Level Settings... -> Add Antialiasing

This certainly works, but would be simplified if the option of disabling antialiasing was added to the Level -> Convert -> Vectors to Toonz Raster command.

Edit: Just saw that @F-Burning already requested such an addition in this comment #4333 (comment)

[F-Burning]

This please.

Existing the possibility of working with alias in opentoonz, I see this option as necessary.