Rewrite offline eval to support new mirrorins semantics, and be more

aligned to the style of backend implementation.

Author: wu-hui