Add '-freg-liveness' flag to control if STG liveness information