fix AVM initialization

Per the PRs on pyavm, use `AVM.from_file`, `AVM.from_header`.  Ignore this PR if the pyavm issue (https://github.com/astrofrog/pyavm/issues/10) is resolved.