Reverse engineering with AI agents on Windows: verifying, measuring and visualising the tools agents use, with rea and Ghidra