many small bug fixes, basic verify now working