integration test: flux: fix validation report
integration test: mat-mul: add timing, larger and random input
integration test: flux: use purely random seeds
AST gen: add commented option for maximal loop fusion