use stable lib versions, disable slow debug verification, make that v0.4.0, add some readme notes