Mention -DALT_TSC_IMPL flag in readme file