bvi_tmc and bvi_tailrec lack on/off configs

[myreen]

This issue is about making bvi_tmc and bvi_tailrec optional. At the moment, users cannot turn these optimisations off.