Fix faulty MemorySynthInit behavior (#2468)
Fix & test MemorySynthInit behavior with MemoryArrayInitAnnotation and MemoryScalarInitAnnotation.
Add test case for MemoryRandomInitAnnotation which is, on the contrary, expected not to leak any randomization statement in synthesis context.
Fixed emission-options flags to match their functionality (#2472)