Merge `Trace.vi` and `vi`?

[yebai]

We currently maintain two copies of vi, one stored in Trace, another is passed to model through keyword arguments. Perhaps we should merge this vi's to reduce confusion.

Ref: #247, #246, #248

[xukai92]

How can we bind randomness to Trace then?

[yebai]

Related #1019