Merge "init: handle properties and imports for host init verifier"