fixed small issues with verifying addresses (esp, buffer bounds)
added extra test files