I am also a sole proprietor LLC with a solo 401k, and thought I'd weigh in. A s401k allows you to defer more than a SEP IRA for incomes up to $260,000. However, I don't know anything about how adding employees affects the rules.
There are a couple of numbers in your OP that, to my knowledge, are wrong. First the 25% of income only applies to employees. The self-employed have to subtract taxes first, which essentially changes the formula to 20% of gross pay. Second, the $17,500 deferral in the 401k, is also taken out before calculating the 20%.
So, for a hypothetical income of $80,000, a SEP IRA would allow a deferral of 20%, or $16,000. A s401k would allow a deferral of $17,500 + 20% x ($80,000-$17,500), or $30,000.
Also, I'm not sure what you mean by 401k being after tax. You can opt for either Roth or traditional tax treatment for the $17,500. The 20% can only be traditional, or pre-tax, but the $17,500 can be either pre- or post-tax. Also, I believe with either plan you can open an additional $5500 tIRA or Roth IRA.