The video codec to use for the exported video.
// Defaults to: VideoCodec.h264
final VideoCodec? codec;