Petri: An open-source auditing tool to accelerate AI safety research — LessWrong