BugFix

• 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)
• make PropagatePreset play nice with verification statements (#2453) This used to crash, now preset is treated as 0 for verification statements
• [smt] correct comparison for out-of-bounds memory access check (#2463)