use __launch_bounds_ to optimize SW on K40 - this solution is temporary as it is specifically targeted at the current instantiations of the kernels in nvBowtie, a better solution would involve passing appropriate template parameters, perhaps through the scheduler