program.validate()

[jon-wurtz]

Add functionality so that a user can check if the program they created is within the restrictions of a valid program for hardware X. For example,

program.braket.aquila().validate()

checks if everything is the correct slope etc.

program.braket.local_emulator()

checks if the system size is reasonable (<25) and the total integration time is reasonable (<1000rad)

[jon-wurtz]

https://github.com/QuEraComputing/bloqade-python/issues/372 https://github.com/QuEraComputing/bloqade-python/issues/427

[Roger-luo]

put on triage meeting because I'd like to sketch out a arch for validation. This should be part of the compiler pipeline, then split out from compiler pipeline as service (aka compiler as service)