Para Windows te recomiendo el Sony Vegas Pro 12 o 13; para Mac te recomiendo Final Cut Pro X. Ambos programas son de dificultad media, si es que vienes a aprender de cero. Camtasia es más fácil, pero considero que su calidad es bastante amateur, yo no lo recomendaría para un proyecto serio. After Effects es para post producción, que es agregar los toques finales, que si bien puedes editar en él, es un poco más enredado, After Effects es más difícil que los otros dos, pero creo que es la joya de corona para que tus videos tengan una calidad realmente profesional, sin embargo debes invertir tiempo para aprenderlo, pero vale la pena.