Strip binaries in benchmarks

Strip generated binaries before getting their size for the benchmark results.