Comment by zootam

neat, any idea on how long it will take to add asserting/verifying stuff?