Does FEniCS have a way of manually counting the total FLOPS and/or the total memory load/stores within a program? I want to obtain the MB/s and FLOPS/s metrics, and I know PETSc has a way of doing the latter for its solvers. But is there a way to obtain these metrics for the entire FEniCS framework?