You could never convince me that these restriction enzymes were picked blindly, no bioinformatician I have ever met does science this way. There is a preliminary period of exploratory data analysis which is done before any hypothesis is put forward, and data dredging and leakage are rampant in the literature.
That's not to say that the spacing of BsaI/BsmBI restriction sites isn't noteworthy, just something to keep in mind.
To your point however, could someone comment on the suitability of BsaI/BsmBI for the in vitro assembly of synthetic coronaviruses? Is it all just about finding sites in the genome at the right locations which can be turned into restriction sites without disrupting any existing functional genetic elements? or is there more to it than that. If a research team were to come along and decide they wanted to engineer their own coronavirus, how likely would it be that they would choose these restriction enzymes?