v1.2.5

Add support to enable/disable VCD file generation regardless of backend implementation defaults.

• added --generate-vcd-output flag with possible values off or on.