lightbuld-framework: Tools for auditing WAFS