Bitcoin Red Team Finds Nearly 5,000 Issues in 30-Hour Audit