Fix criticals due to commit a31a2a77dd60e70137448751
girwriter: Add scope="notified" to owned delegates

Fixes bug 688012
Add postconditions when exiting from methods returning void
Add testcase for missed postconditions in methods returning void
codegen: Support non-auto property initializer in gobjects

Fixes bug 701978