nikomatsakis integrate liveness computation and assertions (plus subtype action)

Latest commit d88c931

Feb 20, 2017