Use -Os for verilator model, which gives better performance