Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus fix in typestate system.