change to worklist for toplevel code

[Roger-luo]

we should use a worklist for toplevel code to support more flexible Julia control flows like how we handle the Qobj target instead of only supporting an if stmt with single gate statement in the body.