Remove indirect proof and disable MySQL tests

[ci skip]