Adding automata verifier to Celestia Contracts branch #115

Job	Run time
Test e2e	12m 59s
Test e2e custom fee token	12m 23s
4844 tests	21m 46s
Test e2e fee token with 6 decimals	12m 14s
Contract tests	1s
Test unit	10m 10s
	1h 9m 33s

Provide feedback