Improving Verifiability in AI Development