Add `smt_option` attribute #1379

Job	Run time
Boogie CI (Debug, batch_mode=True)	5m 15s
Boogie CI (Debug, batch_mode=False)	5m 25s
Boogie CI (Release, batch_mode=True)	6m 3s
Boogie CI (Release, batch_mode=False)	6m 13s
	22m 56s

Provide feedback