[ILAtor] include build tests

[Bo-Yuan-Huang]

Describe your feature request.
Currently ILAtor(IlaSim) is only tested for generation. Better have test for the functional and syntactic correctness.

Describe the solution you'd like
At least have scripts in CI to make sure it builds. Better to run simulation and check correctness.

Additional context
Legacy reference-based tests should be retired.
https://github.com/Bo-Yuan-Huang/ILAng/blob/9f1855395b159e5dc00b50ca49b49c0cd98615d8/test/t_ila_sim.cc#L33