2017 law aimed at 'high-risk' offenders was challenged by Abdul Benbrika, convicted of leading Melbourne terror cell and still behind bars though his term ended in November