Generate and use static .flat files for Marlowe benchmark (#7598)
* Version generated .flat programs of marlowe benchmark, add to data-files * Better names for qualified modules * Regenerate marlowe semantics validators * Remove unused dependency * Update dependencies for marlowe-agda-cek