Make RVFI a runtime option

[Timmmm]

I don't think there's any reason to have RVFI as a compile time option. We can always build support in and just enable it at runtime. The benefit is halved compilation time and better developer experience (because you don't have to remember to compile twice to check your code).

This will be easier after #494.