Modify ImpureExpV to use InitV instead of ExpV

  The argument to NewRef is no longer an expression, so it should be evaluated
with InitV instead.  This has the added benefit of no longer requiring
wvalue_to_hvalue after the evaulation, to prune out possible references.