I have a paired dataset where the before-treatment observations are non-normally distributed (Shapiro-Wilk test p-value = 0.007) and the after-treatment observations are normally distributed (Shapiro-Wilk test p-value = 0.997). What type of test can I use to see if the before-treatment observations and after-treatment observations are statistically significantly different? The dataset size is n = 17. Would I use the Wilcoxon Signed Rank test? Suggestions for post-hoc tests?