Remove deprecated proof harness utility functions

[celinval]

In RMC, users can use special functions to generate a symbolic variable, create assumptions and expect failures. The naming schema that was initially used was C like and it didn't conform to rust conventions (#589). We are now replacing them but we will keep support to the old for now. This issue is to track the work of removing them completely.